выводить формулы

См. также в других словарях:

• Рим город* — Содержание: I. Р. Современный; II. История города Р.; III. Римская история до падения западной Р. империи; IV. Римское право. I. Рим (Roma) столица Итальянского королевства, на реке Тибре, в так называемой Римской Кампанье, под 41°53 54 северной… …   Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона

• Рим, город — Содержание: I. Р. Современный; II. История города Р.; III. Римская история до падения западной Р. империи; IV. Римское право. I. Рим (Roma) столица Итальянского королевства, на реке Тибре, в так называемой Римской Кампанье, под 41°53 54 северной… …   Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона

• ПРЕДИКАТОВ ИСЧИСЛЕНИЕ — общее название исчислений математической логики, являющихся формализацией тех разделов совр. логики, к рые изучают субъектно предикатную структуру предложений (высказываний), понимаемую в более широком, чем в традиц. логике, смысле: помимо теории …   Философская энциклопедия

• ИСЧИСЛЕНИЕ — (формальная система) система символов, основными компонентами которой являются: 1) алфавит (совокупность элементарных символов букв. цифр, скобок и т.п.), 2) правила построения формул из символов алфавита, 3) аксиомы (исходные доказуемые формулы) …   Философская энциклопедия

• Критика — ТЕОРИЯ. Слово «К.» означает суждение. Не случайно слово «суждение» тесно связано с понятием «суд». Судить это, с одной стороны, значит рассматривать, рассуждать о чем нибудь, анализировать какой либо объект, пытаться понять его смысл, приводить… …   Литературная энциклопедия

• Лемниската Бернулли — Лемниската и её фокусы Лемниската Бернулли плоская алгебраическая кривая. Определяется как геометрическое место точек, произведени …   Википедия

• Mathcad — Mathcad …   Википедия

• Калькулятор — У этого термина существуют и другие значения, см. Калькулятор (значения). Современный инженерный калькулятор Калькулятор …   Википедия

• АЛГЕБРА ЛОГИКИ —         система алгебраич. методов решения логич. задач, а также совокупность задач, решаемых такими методами. А. л. в узком смысле слова алгебраич. (табличное, матричное) построение классич. логики высказываний, в котором рассматриваются… …   Философская энциклопедия

• КАРЕЕВ —         Николай Иванович (1850 1931) историк, философ, социолог. Окончил историко филол. ф т Санкт Петербург, ун та (1873); проф. Варшавского (1879 84), затем Санкт Петербург, ун тов (с 1886, с перерывом между 1899 1906 в связи с увольнением по… …   Энциклопедия культурологии

• Русская литература — I.ВВЕДЕНИЕ II.РУССКАЯ УСТНАЯ ПОЭЗИЯ А.Периодизация истории устной поэзии Б.Развитие старинной устной поэзии 1.Древнейшие истоки устной поэзии. Устнопоэтическое творчество древней Руси с X до середины XVIв. 2.Устная поэзия с середины XVI до конца… …   Литературная энциклопедия